
    printf("s_hou: %d", s);
